#ifndef __TIMER_X_H__
#define __TIMER_X_H__

#include "stdint.h"
#include "driver/gptimer.h"

typedef void (* timer_handler_t) (void);
typedef struct {
    timer_handler_t handler; /*!< Timer alarm callback */
} timer_init_t;

void timer_x_init(const gptimer_event_callbacks_t *cbs);
#endif